lôgic banburrows: hang hốcneedham–schroeder protocol: giao thức needham-schroederto huddle into holes and burrows: Chui rúc trong hang hốc